Andrei Voronkov (eds.): mencari di tapak web Z-Library

Sumbangan 15 hb September 2024 – 1 hb Oktober 2024 Mengenai pengumpulan sumbangan

Akses percuma kepada pengetahuan dan budaya.

Sumbangan 15 hb September 2024 – 1 hb Oktober 2024

Z-Library - salah satu perpustakaan dalam talian terbesar di dunia yang menyimpan lebih daripada 17,000,000 buku dan 84,837,000 artikel. Kami bertujuan untuk buku boleh diakses oleh semua orang. Hari ini (15 hb September 2024) kami memulakan pengumpulan dana tambahan untuk menyokong dan mengembangkan projek.

Tambah lagi muat turun TANPA HAD (untuk 31 hari sejak menghantar sumbangan) boleh diakses oleh SEMUA pengguna yang menyumbangkan selama tempoh pengumpulan sumbangan hingga 1 hb Oktober 2024.

Mengenai pengumpulan sumbanganBaca lebih lanjut

Buku (47)
Yang paling popular
Senarai
- Senarai
- Jadual

1

Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Springer-Verlag Berlin Heidelberg

Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov (eds.)

Tahun:

2015

Bahasa:

english

Fail:

PDF, 22.02 MB

0 / 0

english, 2015

2

Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Johann A. Makowsky (auth.), Nachum Dershowitz, Andrei Voronkov (eds.)

Tahun:

2007

Bahasa:

english

Fail:

PDF, 5.33 MB

0 / 0

english, 2007

3

Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Luca Aceto, Dario Della Monica (auth.), Ken McMillan, Aart Middeldorp, Andrei Voronkov (eds.)

Tahun:

2013

Bahasa:

english

Fail:

PDF, 11.60 MB

0 / 0

english, 2013

4

Computer Science – Theory and Applications: Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings

Computer Science – Theory and Applications: Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Yuri Gurevich (auth.), Volker Diekert, Mikhail V. Volkov, Andrei Voronkov (eds.)

Tahun:

2007

Bahasa:

english

Fail:

PDF, 7.47 MB

0 / 0

english, 2007

5

Transactions and Change in Logic Databases: International Seminar on Logic Databases and the Meaning of Change Schloss Dagstuhl, Germany, September 23–27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Dedu

Transactions and Change in Logic Databases: International Seminar on Logic Databases and the Meaning of Change Schloss Dagstuhl, Germany, September 23–27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Dedu

Springer-Verlag Berlin Heidelberg

Anthony J. Bonner, Michael Kifer (auth.), Burkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov (eds.)

Tahun:

1998

Bahasa:

english

Fail:

DJVU, 6.66 MB

0 / 0

english, 1998

6

Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Matthias Baaz, Alexander Leitsch (auth.), Franz Baader, Andrei Voronkov (eds.)

Tahun:

2005

Bahasa:

english

Fail:

PDF, 4.55 MB

0 / 0

english, 2005

7

Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Frédéric Blanqui, Jean-Pierre Jouannaud (auth.), Miki Hermann, Andrei Voronkov (eds.)

Tahun:

2006

Bahasa:

english

Fail:

PDF, 6.22 MB

0 / 0

english, 2006

8

Automated Deduction—CADE-18: 18th International Conference on Automated Deduction Copenhagen, Denmark, July 27–30, 2002 Proceedings

Automated Deduction—CADE-18: 18th International Conference on Automated Deduction Copenhagen, Denmark, July 27–30, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Ian Horrocks (auth.), Andrei Voronkov (eds.)

Tahun:

2002

Bahasa:

english

Fail:

PDF, 5.44 MB

0 / 0

english, 2002

9

Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers

Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers

Springer-Verlag Berlin Heidelberg

Eike Best, Javier Esparza, Harro Wimmel, Karsten Wolf (auth.), Irina Virbitskaite, Andrei Voronkov (eds.)

Tahun:

2007

Bahasa:

english

Fail:

PDF, 5.87 MB

0 / 0

english, 2007

10

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.)

Tahun:

2010

Bahasa:

english

Fail:

PDF, 6.95 MB

0 / 0

english, 2010

11

Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13–20, 1993 Proceedings

Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13–20, 1993 Proceedings

Springer-Verlag Berlin Heidelberg

Hassan Aït-Kaci, Andreas Podelski (auth.), Andrei Voronkov (eds.)

Tahun:

1993

Bahasa:

english

Fail:

DJVU, 4.02 MB

0 / 0

english, 1993

12

Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings

Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Alan Bundy, Julian Richardson (auth.), Harald Ganzinger, David McAllester, Andrei Voronkov (eds.)

Tahun:

1999

Bahasa:

english

Fail:

DJVU, 3.65 MB

0 / 0

english, 1999

13

Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Allen Van Gelder (auth.), Geoff Sutcliffe, Andrei Voronkov (eds.)

Tahun:

2005

Bahasa:

english

Fail:

PDF, 7.14 MB

0 / 0

english, 2005

14

Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings

Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Alan Bundy, Julian Richardson (auth.), Harald Ganzinger, David McAllester, Andrei Voronkov (eds.)

Tahun:

1999

Bahasa:

english

Fail:

PDF, 12.61 MB

0 / 0

english, 1999

15

Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers

Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Andrei Voronkov, Irina Virbitskaite (eds.)

Tahun:

2015

Bahasa:

english

Fail:

PDF, 16.61 MB

0 / 0

english, 2015

16

Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Krishnendu Chatterjee, Laurent Doyen (auth.), Christian G. Fermüller, Andrei Voronkov (eds.)

Tahun:

2010

Bahasa:

english

Fail:

PDF, 7.38 MB

0 / 5.0

english, 2010

17

Extensions of Logic Programming: 5th International Workshop, ELP '96 Leipzig, Germany, March 28–30, 1996 Proceedings

Extensions of Logic Programming: 5th International Workshop, ELP '96 Leipzig, Germany, March 28–30, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Martin Argenius, Andrei Voronkov (auth.), Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister (eds.)

Tahun:

1996

Bahasa:

english

Fail:

DJVU, 2.75 MB

0 / 0

english, 1996

18

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.)

Tahun:

2010

Bahasa:

english

Fail:

PDF, 6.95 MB

0 / 0

english, 2010

19

LNCS 7797 - Programming Logics

LNCS 7797 - Programming Logics

Andrei Voronkov & Christoph Weidenbach (eds.)

Tahun:

2013

Bahasa:

spanish

Fail:

PDF, 5.07 MB

0 / 0

spanish, 2013

20

LNCS 7797 - Programming Logics

LNCS 7797 - Programming Logics

Andrei Voronkov & Christoph Weidenbach (eds.)

Tahun:

2013

Bahasa:

spanish

Fail:

EPUB, 1.40 MB

0 / 0

spanish, 2013

21

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.)

Tahun:

2010

Bahasa:

english

Fail:

PDF, 8.44 MB

0 / 5.0

english, 2010

22

LNCS 7797 - Programming Logics

LNCS 7797 - Programming Logics

Andrei Voronkov & Christoph Weidenbach (eds.)

Tahun:

2013

Bahasa:

spanish

Fail:

AZW3 , 2.01 MB

0 / 0

spanish, 2013

23

LNCS 7797 - Programming Logics

LNCS 7797 - Programming Logics

Andrei Voronkov & Christoph Weidenbach (eds.)

Tahun:

2013

Bahasa:

spanish

Fail:

MOBI , 1.78 MB

0 / 0

spanish, 2013

24

LNCS 7797 - Programming Logics

LNCS 7797 - Programming Logics

Andrei Voronkov & Christoph Weidenbach (eds.)

Tahun:

2013

Bahasa:

spanish

Fail:

FB2 , 3.00 MB

0 / 0

spanish, 2013

25

LNCS 7797 - Programming Logics

LNCS 7797 - Programming Logics

Andrei Voronkov & Christoph Weidenbach (eds.)

Tahun:

2013

Fail:

LIT , 1.37 MB

0 / 0

2013

26

Programming Logics: Essays in Memory of Harald Ganzinger

Programming Logics: Essays in Memory of Harald Ganzinger

Springer-Verlag Berlin Heidelberg

Deepak Kapur, Robert Nieuwenhuis, Andrei Voronkov (auth.), Andrei Voronkov, Christoph Weidenbach (eds.)

Tahun:

2013

Bahasa:

english

Fail:

PDF, 4.83 MB

0 / 0

english, 2013

27

Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Ian Hodkinson, Frank Wolter, Michael Zakharyaschev (auth.), Robert Nieuwenhuis, Andrei Voronkov (eds.)

Tahun:

2001

Bahasa:

english

Fail:

PDF, 6.72 MB

0 / 0

english, 2001

28

Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Elvira Albert, Puri Arenas, Samir Genaim (auth.), Nikolaj Bjørner, Andrei Voronkov (eds.)

Tahun:

2012

Bahasa:

english

Fail:

PDF, 5.27 MB

0 / 0

english, 2012

29

Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers

Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Geoff Sutcliffe (auth.), Edmund M. Clarke, Andrei Voronkov (eds.)

Tahun:

2010

Bahasa:

english

Fail:

PDF, 5.38 MB

0 / 0

english, 2010

30

Advances in Artificial Intelligence: 10th Mexican International Conference on Artificial Intelligence, MICAI 2011, Puebla, Mexico, November 26 - December 4, 2011, Proceedings, Part I

Advances in Artificial Intelligence: 10th Mexican International Conference on Artificial Intelligence, MICAI 2011, Puebla, Mexico, November 26 - December 4, 2011, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Kryštof Hoder, Laura Kovács, Andrei Voronkov (auth.), Ildar Batyrshin, Grigori Sidorov (eds.)

Tahun:

2011

Bahasa:

english

Fail:

PDF, 12.49 MB

0 / 0

english, 2011

31

Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Franz Baader, Jan Hladik, Carsten Lutz (auth.), Moshe Y. Vardi, Andrei Voronkov (eds.)

Tahun:

2003

Bahasa:

english

Fail:

PDF, 4.08 MB

0 / 0

english, 2003

32

Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Krishnendu Chatterjee, Laurent Doyen (auth.), Christian G. Fermüller, Andrei Voronkov (eds.)

Tahun:

2010

Bahasa:

english

Fail:

PDF, 6.94 MB

0 / 0

english, 2010

33

Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002 Tbilisi, Georgia, October 14–18, 2002 Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002 Tbilisi, Georgia, October 14–18, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

M. Alpuente, S. Escobar, B. Gramlich (auth.), Matthias Baaz, Andrei Voronkov (eds.)

Tahun:

2002

Bahasa:

english

Fail:

PDF, 4.79 MB

0 / 0

english, 2002

34

Perspectives of System Informatics: 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

Perspectives of System Informatics: 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

Springer International Publishing

Alexander K. Petrenko, Andrei Voronkov (eds.)

Tahun:

2018

Bahasa:

english

Fail:

PDF, 22.74 MB

0 / 0

english, 2018

35

Advances in Artificial Intelligence: 10th Mexican International Conference on Artificial Intelligence, MICAI 2011, Puebla, Mexico, November 26 - December 4, 2011, Proceedings, Part I

Advances in Artificial Intelligence: 10th Mexican International Conference on Artificial Intelligence, MICAI 2011, Puebla, Mexico, November 26 - December 4, 2011, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Kryštof Hoder, Laura Kovács, Andrei Voronkov (auth.), Ildar Batyrshin, Grigori Sidorov (eds.)

Tahun:

2011

Bahasa:

english

Fail:

PDF, 11.54 MB

0 / 0

english, 2011

36

Logic Programming and Automated Reasoning: International Conference LPAR '92 St. Petersburg, Russia, July 15–20, 1992 Proceedings

Logic Programming and Automated Reasoning: International Conference LPAR '92 St. Petersburg, Russia, July 15–20, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

Halina Przymusinska, Teodor Przymusinski (auth.), Andrei Voronkov (eds.)

Tahun:

1992

Bahasa:

english

Fail:

DJVU, 6.42 MB

0 / 0

english, 1992

37

Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Joao Marques-Silva, Inês Lynce, Vasco Manquinho (auth.), Iliano Cervesato, Helmut Veith, Andrei Voronkov (eds.)

Tahun:

2008

Bahasa:

english

Fail:

PDF, 9.43 MB

0 / 0

english, 2008

38

Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers

Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers

Springer International Publishing

Manuel Mazzara, Andrei Voronkov (eds.)

Tahun:

2016

Bahasa:

english

Fail:

PDF, 12.78 MB

0 / 0

english, 2016

39

Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers

Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Eike Best, Philippe Darondeau (auth.), Edmund Clarke, Irina Virbitskaite, Andrei Voronkov (eds.)

Tahun:

2012

Bahasa:

english

Fail:

PDF, 5.51 MB

0 / 0

english, 2012

40

Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers

Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Geoff Sutcliffe (auth.), Edmund M. Clarke, Andrei Voronkov (eds.)

Tahun:

2010

Bahasa:

english

Fail:

PDF, 8.19 MB

0 / 0

english, 2010

41

Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Joao Marques-Silva, Inês Lynce, Vasco Manquinho (auth.), Iliano Cervesato, Helmut Veith, Andrei Voronkov (eds.)

Tahun:

2008

Bahasa:

english

Fail:

PDF, 11.37 MB

0 / 0

english, 2008

42

Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings

Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Laura Kovács, Andrei Voronkov (auth.), Natasha Sharygina, Helmut Veith (eds.)

Tahun:

2013

Bahasa:

english

Fail:

PDF, 19.70 MB

0 / 0

english, 2013

43

Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings

Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings

Springer-Verlag Berlin Heidelberg

María Alpuente, Santiago Escobar, José Iborra (auth.), Andrei Voronkov (eds.)

Tahun:

2008

Bahasa:

english

Fail:

PDF, 4.64 MB

0 / 0

english, 2008

44

Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Krishnendu Chatterjee, Laurent Doyen (auth.), Christian G. Fermüller, Andrei Voronkov (eds.)

Tahun:

2010

Bahasa:

english

Fail:

PDF, 7.03 MB

0 / 0

english, 2010

45

Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Elvira Albert, Puri Arenas, Samir Genaim (auth.), Nikolaj Bjørner, Andrei Voronkov (eds.)

Tahun:

2012

Bahasa:

english

Fail:

PDF, 8.16 MB

0 / 0

english, 2012

46

Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings

Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings

Springer-Verlag Berlin Heidelberg

María Alpuente, Santiago Escobar, José Iborra (auth.), Andrei Voronkov (eds.)

Tahun:

2008

Bahasa:

english

Fail:

PDF, 8.38 MB

0 / 0

english, 2008

47

Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings

Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Laura Kovács, Andrei Voronkov (auth.), Natasha Sharygina, Helmut Veith (eds.)

Tahun:

2013

Bahasa:

english

Fail:

PDF, 20.75 MB

0 / 0

english, 2013